Verifying Fran programs
نویسنده
چکیده
Fran is a system for functional reactive animation. This note explores the way that some of the features of Fran can be interpreted as logical formulas, referring in particular to the example of a lift animation written in Fran. [First written November 1998; revised February and April 1999.]
منابع مشابه
Functional Programming and Virtual Worlds
The FunWorlds project aims to combine and integrate ideas from functional programming, in particular functional reactive programming a la Fran, and virtual worlds, as exemplified by the Virtual Reality Modeling Language (VRML’97). The goal of our research is the design of a concrete toolkit offering functional programmers access to this rich medium for communication and interaction while introd...
متن کاملVerifying TSO programs
TSO (Total Store Order) is the memory consistency model implemented by the x86 and x64 architectures. While for data-race-free programs the stronger SC (Sequential Consistency) memory consistency model can be assumed, some programs escape from the SC constraints for performance reasons. In this document we propose an approach for verifying programs under the TSO memory consistency model. Verify...
متن کاملA semantics for functions and behaviours
The functional animation language Fran allows animations to be programmed in a novel way. Fran provides an abstract datatype of \behaviours" that represent time varying values such as the position of moving objects, together with a simple set of operators for constructing behaviours. More generally, this approach has potential for other kinds of real-time systems that consist of interactive com...
متن کاملVerifying Concurrent Programs by Controlling Alias Interference
Verifying Concurrent Programs by Controlling Alias Interference
متن کاملRecommendations for Integration of Chronic Disease Programs: Are Your Programs Linked?
Chronic disease programs in state public health agencies across the United States are increasingly taking action to integrate activities across single-disease program lines. The perceived benefits of program integration are the motivating force behind these actions, but there is little documentation about how to integrate programs, what the benefits are to program integration, and what barriers...
متن کامل